1. Algebraic systems
Author: A.I. Mal'cev; translated from the Russian by B.D. Seckler and A.P. Doohovskov
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Algebra, Abstract,، Model theory,، Logic, Symbolic and mathematical
Classification :
QA
162
.
M3413
1973
2. Algebraic systems
Author: Maltsev, Anatolii Ivanovich
Library: Central Library and Documentation Center (Kerman)
Subject: ، Algebra, Abstract,، Model theory,، Logic, Symbolic and mathematical
Classification :
QA
1
.
G7
v
.
192
3. Algebraic systems
Author: / (by) A. I. Mal'cev. Translated from the Russian by B. D. Seckler and A. P. Doohovskoy
Library: Central Library of Imam Khomeini International University of Qazvin (Qazvin)
Subject: Algebra, Abstract,Model theory,Logic, Symbolic and mathematical
Classification :
QA162
.
M3413
4. Algebraic systems
Author: / (by) A. I. Malcev. Translated from the Russian by B. D. Seckler and A. P. Doohovskoy
Library: Library of College of Science University of Tehran (Tehran)
Subject: Algebra, Abstract,Model theory,Logic, Symbolic and mathematical
Classification :
QA
162
.
M3513
1973
5. Beyond first order model theory
Author: edited by Jose Iovino
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Model theory,، Logic, Symbolic and mathematical
Classification :
QA
9
.
7
.
B49
6. Beyond first order model theory
Author: \ edited by Jose Iovino.
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Model theory.,Logic, Symbolic and mathematical., نظریه مدل,منطق ریاضی
Classification :
QA9
.
7
.
I587
2017
E-book
,
7. Elementary end extensions in model theory and set theory
Author: by: Shahram Mohsenipour,^AMohsenipour, Shahram
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Logic, Symbolic and mathematical,Model theory,Set theory
8. Fundamentals of mathematical logic /
Author: Peter G. Hinman.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Logic, Symbolic and mathematical.,Model theory.,Recursion theory.,Set theory.,Logic, Symbolic and mathematical.,MATHEMATICS-- General.,Model theory.,Recursion theory.,Set theory.
Classification :
QA9
.
H527
2005
9. Institution-independent model theory
Author: Diaconescu, Razvan
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Model theory,، Logic, Symbolic and mathematical
Classification :
QA
9
.
7
.
D53
2008
10. Logic Colloquium '87: proceedings of the colloquium held in Granada, Spain, July 20-25, 1987
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: Congresses ، Logic, Symbolic and mathematical,Congresses ، Model theory,Congresses ، Set theory
Classification :
QA
9
.
A1
.
L63
1987
11. Logica universalis
Author: / Jean-Yves Beziau, editor
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Logic, Symbolic and mathematical.,Model theory.
Classification :
QA
,
9
.
2
,.
L64
,
2005
12. Logica universalis
Author: / Jean-Yves Beziau, editor
Library: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
Subject: Logic, Symbolic and mathematical,Model theory
Classification :
QA9
.
2
.
L64
2005
13. Mathematical logic : an introduction to model theory
Author: Lightstone, A. H.
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Logic, Symbolic and mathematical,، Model theory
Classification :
QA
9
.
L54
14. Mathematical logic; an introduction to model theory
Author: / A. H. Lightstone edited by H. B. Enderton
Library: Central Library and Archive Center of shahid Beheshti University (Tehran)
Subject: Logic, symbolic and mathematical,Model theory
Classification :
511
.
3
L724
15. Mathematical logic and model theory a brief introduction
Author: Prestel, A.)Alexander(,1491-, Alexander Prestel, Charles N. Delzell
Library: Library and Documentation Center of Kurdistan University (Kurdistan)
Subject: ، Logic, Symbolic and mathematical,، Model theory
Classification :
QA
169
.
M3
P7
2011
16. Mathematical logic and model theory: a brief introduction
Author: Prestel, A. )Alexander(
Library: Central Library and Documentation Center (Golestan)
Subject: ، Logic, Symbolic and mathematical,، Model theory
Classification :
QA
9
.
P68
M38
17. Mathematical logic and model theory : a brief introduction
Author: Alexander Prestel, Charles N. Delzell
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Logic, Symbolic and mathematical,، Model theory
Classification :
QA
9
.
P743M3
18. Mathematical logic and model theory: a brief introduction
Author: Prestel, A. )Alexander(
Library: Central Library and Documentation Center (Kerman)
Subject: ، Logic, Symbolic and mathematical,، Model theory
Classification :
QA
9
.
P68
2011
19. Non-Classical logics, model theory, and compuability
Author: / edited by A.I. Arruda, N.C.A. da Costa (and) R. Chuaqui
Library: Library of College of Science University of Tehran (Tehran)
Subject: Logic, Symbolic and mathematical,Model theory,Recursive functions
Classification :
QA
9
.
L38
20. Proceedings of the Logic Colloquium held in Aachen, July 18-23, 1983
Author: edited by G. H. Muller and M. M. Richter
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Logic, Symbolic and mathematical,Congresses ، Model theory,Congresses ، Set theory,Congresses ، Machine theory,Congresses ، Proof theory
Classification :
QA
3
.
L28
Vol
.
1103
,
1104
